COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "memo.pub[let,jmc]" source
C00005 ENDMK
C⊗;
.require "memo.pub[let,jmc]" source;
.cb McCarthy Papers on Philosophy and Artificial Intelligence


%3McCarthy, John (1960)%1: "Programs with Common Sense," Proceedings of the
Teddington Conference on the Mechanization of Thought Processes, Her Majesty's
Stationery Office, London.
COMMON.tex[f80,JMC] is a TEX version with only Bar-Hillel comments

%3McCarthy, John and P.J. Hayes (1969)%1:  "Some Philosophical Problems from
the Standpoint of Artificial Intelligence", in D. Michie (ed), %2Machine
Intelligence 4%1, American Elsevier, New York, NY.
PHIL[ESS,JMC] 23-May-75		McCarthy and Hayes with slight mods

%3McCarthy, John (1977)%1:
"Epistemological Problems of Artificial Intelligence", %2Proceedings
of the Fifth International Joint Conference on Artificial 
Intelligence%1, M.I.T., Cambridge, Mass.
IJCAI.C[E77,JMC] 02-Jul-78	1977 IJCAI paper

%3McCarthy, John (1979)%1:
"Ascribing Mental Qualities to Machines" in %2Philosophical Perspectives 
in Artificial Intelligence%1, Ringle, Martin (ed.), Harvester Press, July 1979.
MENTAL[F76,JMC] 05-Dec-77	ASCRIBING MENTAL QUALITIES TO MACHINES

%3McCarthy, John (1979)%1: 
"First Order Theories of Individual Concepts and Propositions", 
in Michie, Donald (ed.) %2Machine Intelligence 9%1, (University of
Edinburgh Press, Edinburgh).
CONCEP[E76,JMC] 01-Sep-77	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS
				AND PROPOSITIONS

%3McCarthy, John (1980a)%1: 
"Circumscription - A Form of Non-Monotonic Reasoning", %2Artificial
Intelligence%1, Volume 13, Numbers 1,2, April.
CIRCUM.W80[W80,JMC]	Circumscription: A Form of non-Monotonic Reasoning

%3McCarthy, John (1980b)%1:
"Formalization of Two Puzzles Involving Knowledge" informal memo
KNOW[E78,JMC]

Harry Stanton suggests an introduction giving comments on present
state of AI.